Fuzzy timed petri net definitions, properties, and applications
نویسندگان
چکیده
منابع مشابه
Fuzzy Timed Object-Oriented Petri Net
The goal of this work is to extend a model of timed object-oriented Petri nets (TOPN) to allow modeling and analyzing dynamic systems with timing effect on system information. In the proposed Fuzzy timed object-oriented Petri net (FTOPN), we attach temporal fuzzy sets to each transition objects accounting for the aging of information. In particular, we investigate a new way to represent and dea...
متن کاملExploiting Timed Petri Net Properties for Distributed Simulation Partitioning
This work systematically develops a distributed simulation mechanism based on the optimistic strategy (Time Warp) to study timed transition Petri net (TTPN) models. The approach addresses the problem of partitioning the simulation model into logical processes to be run concurrently on individual processing nodes in a distributed memory multiprocessor system. We propose a partitioning such that ...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 2005
ISSN: 0895-7177
DOI: 10.1016/j.mcm.2003.02.015